Policy ignorant caller-side inline reference monitoring
نویسندگان
چکیده
منابع مشابه
A Caller-Side Inline Reference Monitor for an Object-Oriented Intermediate Language
Runtime security policy enforcement systems are crucial to limit the risks associated with running untrustworthy (malicious or buggy) code. The inlined reference monitor approach to policy enforcement, pioneered by Erlingsson and Schneider, implements runtime enforcement through program rewriting: security checks are inserted inside untrusted programs. Ensuring complete mediation – the guarante...
متن کاملA Caller-Side Inline Reference Monitor for an Object-Oriented Intermediate Language: Extended version
Runtime security policy enforcement systems are crucial to limit the risks associated with running untrustworthy (malicious or buggy) code. The inlined reference monitor approach to policy enforcement, pioneered by Erlingsson and Schneider, implements runtime enforcement through program rewriting: security checks are inserted inside untrusted programs. Ensuring complete mediation – the guarante...
متن کاملUnexpected Side E ects of Inline Substitution : A Case
The structure of a program can encode implicit information that changes both the shape and speed of the generated code. Interprocedural transformations like inlining often discard such information; using interpro-cedural data-ow information as a basis for optimization can have the same eeect. In the course of a study on inline substitution with commercial FORTRAN compilers, we encountered unexp...
متن کاملProvably correct inline monitoring for multithreaded Java-like programs
Inline reference monitoring is a powerful technique to enforce security policies on untrusted programs. The security-by-contract paradigm proposed by the EU FP6 SMS project uses policies, monitoring, and monitor inlining to secure third-party applications running on mobile devices. The focus of this paper is on multi-threaded Java bytecode. An important consideration is that inlining should int...
متن کاملFlexible Robot-based Inline Quality Monitoring using Picture-giving Sensors
As part of the ROBOSENS project, the IITB developed and tested a new four-step concept for multiple sensor quality monitoring. The robot-based system uses an array of test-specific short-range and wide-range sensors which make the inspection process more flexible and problem-specific. To test this innovative inline quality monitoring concept and to adapt it to customized tasks, a development an...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal on Software Tools for Technology Transfer
سال: 2014
ISSN: 1433-2779,1433-2787
DOI: 10.1007/s10009-014-0348-8